perm filename FEFERM[W79,JMC]1 blob sn#409232 filedate 1979-01-11 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1. Feferman should know about FOL.
C00003 ENDMK
CāŠ—;
1. Feferman should know about FOL.

2. Godel numbering gives a false impression of the difficulty of
making logic explicit enough so that fully formal proofs can
be written and read by people.

3. Would Feferman sympathize with "logic for the practical man"?

4. Will he help with heavy duty set theory?